Set-orderedness as a generalization of k-orderedness and cyclability

نویسندگان

  • Keishi Ishii
  • Kenta Ozeki
  • Kiyoshi Yoshimoto
چکیده

A graph G is called k-ordered if for any sequence of k distinct vertices of G, there exists a cycle in G through these vertices in the order. A vertex set S is called cyclable in G if there exists a cycle passing through all vertices of S. We will define “set-orderedness” which is a natural generalization of k-orderedness and cyclability. We also give a degree sum condition for graphs to satisfy “set-orderedness”. This is an extension of well-known sufficient conditions on k-orderedness.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On low degree k-ordered graphs

A simple graph G is k-ordered (respectively, k-ordered hamiltonian) if, for any sequence of k distinct vertices v1, . . . , vk of G, there exists a cycle (respectively, a hamiltonian cycle) in G containing these k vertices in the specified order. In 1997 Ng and Schultz introduced these concepts of cycle orderability, and motivated by the fact that k-orderedness of a graph implies (k − 1)-connec...

متن کامل

4-connected Triangulations and 4-orderedness

For a positive integer k ≥ 4, a graph G is called k-ordered, if for any ordered set of k distinct vertices of G, G has a cycle that contains all the vertices in the designated order. Goddard [3] showed that every 4-connected triangulation of the plane is 4-ordered. In this paper, we improve this result; every 4-connected triangulation of any surface is 4-ordered. Our proof is much shorter than ...

متن کامل

Well-ordering of Algebra and Kruskal's Theorem Well-orderings of Algebra and Kruskal's Theorem

We deene well-partial-orderings on abstract algebras and give their order types. For every ordinal in an initial segment of Bachmann hierarchy there is one and only one (up to isomorphism) algebra giving the ordinal as order type. As a corollary, we show Kruskal-type theorems for various structures are equivalent to well-orderedness of certain ordinals.

متن کامل

Exact unprovability results for compound well-quasi-ordered combinatorial classes

In this paper we prove general exact unprovability results that show how a threshold between provability and unprovability of a finite well-quasi-orderedness assertion of a combinatorial class is transformed by the sequence-construction, multisetconstruction, cycle-construction and labeled-tree-construction. Provability proofs use asymptotic pigeonhole principle, unprovability proofs use Weierm...

متن کامل

Semantics and Pragmatics of New Shortcut Fusion Rules

We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose a new rule that trades circularity for higher-orderedness, and thus attains better semantic properties. This also leads us to revisit the original foldr/build-rule, as well as its dual, and to develop variants that do...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Discrete Mathematics

دوره 310  شماره 

صفحات  -

تاریخ انتشار 2010